perm filename LETTER.FH[P,JRA] blob sn#154730 filedate 1975-04-14 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CAPRIL 14, 1975



Dr. Fred Hansen
Computer Science Dept
University of Illinois at Urbana-Champaign
Urbana, Illinois 61801


Dear Dr. Hansen:

\J
I don't think we ever met, but we were certainly in close proximity
several years ago. I was part of the old THOR team and have been
at the AI Lab off and on since then. The reason for this letter is
your thesis. I am getting interested in on-line program construction
using displays. It seems a viable approach to reliability; I have
some ideas on relating semantics to the construction process.

All I have seen is ANL-7818. I am wondering if you have pursued
EMILY (tsk,tsk), and what reflections you might have on your
work in the intervening four years?
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L